Works by Richard L. Call

( view other items matching `Richard L. Call`, view all matches )
4 found
Order:
  1.  44
    (1 other version)A minimal canonically complete m-valued proper logic for each M.Richard L. Call - 1968 - Journal of Symbolic Logic 33 (1):108-110.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  2.  45
    Systems With Parity Quantifiers.Richard L. Call - 1982 - Mathematical Logic Quarterly 28 (20-21):297-309.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  21
    Constructing sequent rules for generalized propositional logics.Richard L. Call - 1984 - Notre Dame Journal of Formal Logic 25 (2):171-178.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  14
    The Gödel-Herbrand theorems.Richard L. Call - 1972 - Notre Dame Journal of Formal Logic 13 (1):131-134.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark